翻訳と辞書 |
List of things named after Alfred Tarski : ウィキペディア英語版 | List of things named after Alfred Tarski In the history of mathematics, Alfred Tarski (1901–1983) is one of the most important logicians. His name is now associated with a number of theorems and concepts in that field. == Theorems ==
* Knaster–Tarski theorem (sometimes referred to as Tarski's fixed point theorem) * Tarski's undefinability theorem * Tarski–Seidenberg theorem * Some fixed point theorems, usually variants of the Kleene fixed-point theorem, are referred to the Tarski–Kantorovitch fixed–point principle or the Tarski–Kantorovitch theorem although the use of this terminology is limited. * Tarski's theorem
抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「List of things named after Alfred Tarski」の詳細全文を読む
スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|